package fichiers;

import espace_physique.*;
import java.util.*;
import javax.swing.tree.*;
import support.*;


public class AdapteurGestionFichierArbre extends DefaultTreeModel {
    
    private  MyDefaultMutableTreeNode racine;
    
    public AdapteurGestionFichierArbre(Element eracine) {
        
        super(null,false);
        this.racine=new MyDefaultMutableTreeNode(eracine,this);
        this.setRoot(racine);
    }
    
    
    public void ajouterNoeud(Element f,DefaultMutableTreeNode parent,int index){
        
        MyDefaultMutableTreeNode fils=new MyDefaultMutableTreeNode(f,this);
        this.insertNodeInto(fils,parent,index); 

    }
     
    
    public MyDefaultMutableTreeNode getRacine(){

        return this.racine;
    }
    
}